Properties of Normalization for a math based intermediate representation
نویسندگان
چکیده
The Normalization transformation plays a key role in the compilation of Diderot programs. The transformations are complicated and it would be easy for a bug to go undetected. To increase our confidence in normalization part of the compiler we provide a formal analysis on the rewriting system. We proof that the rewrite system is type preserving, value preserving (for tensor-valued expressions), and terminating.
منابع مشابه
Predicting Student Performance in Verbal Math Problems Based on Cognitive, Metacognitive, and Affective Factors
Predicting Student Performance in Verbal Math Problems Based on Cognitive, Metacognitive, and Affective Factors F. Karimi, Ph.D. A.R. Moraadi, Ph.D. P. Kadivar, Ph.D. R. Kormi Noori, Ph.D. To determine the predictive role of metacognitive, cognitive, and affective factors in solving verbal math problems, a cluster sample of 450 junior high school students was given ...
متن کاملComparison of Count Normalization Methods for Statistical Parametric Mapping Analysis Using a Digital Brain Phantom Obtained from Fluorodeoxyglucose-positron Emission Tomography
Objective(s): Alternative normalization methods were proposed to solve the biased information of SPM in the study of neurodegenerative disease. The objective of this study was to determine the most suitable count normalization method for SPM analysis of a neurodegenerative disease based on the results of different count normalization methods applied on a prepared digital phantom similar to one ...
متن کاملA confidence-aware interval-based trust model
It is a common and useful task in a web of trust to evaluate the trust value between two nodes using intermediate nodes. This technique is widely used when the source node has no experience of direct interaction with the target node, or the direct trust is not reliable enough by itself. If trust is used to support decision-making, it is important to have not only an accurate estimate of trust, ...
متن کاملAn Investigation of the Effect of Bilingual Education on Language Achievement of Iranian Pre-intermediate EFL Learners
The present study investigated the impact of bilingual education on language achievement of Iranian Pre-intermediate EFL learners. It actually used bilingual education through content- based methodology or subject matter such as math, science and reading. To this purpose, the researchers used 40 Pre-intermediate EFL participants who were studying English conversation at a private language insti...
متن کاملAn Investigation of the Effect of Bilingual Education on Language Achievement of Iranian Pre-intermediate EFL Learners
The present study investigated the impact of bilingual education on language achievement of Iranian Pre-intermediate EFL learners. It actually used bilingual education through content- based methodology or subject matter such as math, science and reading. To this purpose, the researchers used 40 Pre-intermediate EFL participants who were studying English conversation at a private language insti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1705.08801 شماره
صفحات -
تاریخ انتشار 2017